#	Mirrored Lens with dihedral angle 2π/12
#
#	The matrix elements lie in the field Q[√3].

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.86602540378443864676 -0.50000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.50000000000000000000  0.86602540378443864676

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.86602540378443864676  0.50000000000000000000
  0.00000000000000000000  0.00000000000000000000  0.50000000000000000000  0.86602540378443864676
